Formally Speaking About Schemata, Bases, Classes and Objects
نویسندگان
چکیده
In the early 70’s, Dana Scott and Christopher Stratchey laid the foundations for the theory of denotational semantics of traditional programming languages. The aim pursued in this paper is to show how concepts such as semantic domains, semantic interpretation functions and denotations can be used to describe facilities for handling non-conventional info that combines object-orientation and database management. This paper also helps to understand the expressiveness of an object manipulation
منابع مشابه
A Hamiltonian Property of Connected Sets in the Alternative Set Theory
The representation of indiscernibility phenomena by π-equivalences and of accessibility phenomena by σ-equivalences enables a graph-theoretical formulation of topological notions in the alternative set theory. Generalizing the notion of Hamiltonian graph we will introduce the notion of Hamiltonian embedding and prove that for any finite graph without isolated vertices there is a Hamiltonian emb...
متن کاملFormal specification of image schemata - a step towards interoperability in geographic information systems
The formal specification of spatial objects and spatial relations is at the core of geographic data exchange and interoperability for geographic information systems (GIS). It is necessary that the representation of such objects and relations comes close to how people use them in their everyday lives, i.e., that these specifications are built upon elements of human spatial cognition. Image schem...
متن کاملLearning Causal Schemata
Causal inferences about sparsely observed objects are often supported by causal schemata, or systems of abstract causal knowledge. We present a hierarchical Bayesian framework that learns simple causal schemata given only raw data as input. Given a set of objects and observations of causal events involving some of these objects, our framework simultaneously discovers the causal type of each obj...
متن کاملAn Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata, entities, and relationships. We also describe the semantics of the ER data model by introducing classes for ER states, instances, and links. The connection between syntax and semantics is established by associations...
متن کاملRemarks 1 2 Extensions and Categorical Background 2 3 Steinitz - Hall Algebra
The general notion of what is now called Hall algebra or Ringel-Hall algebra is an algebra defined out of a certain type of category, a "finitary abelian category". Finitary abelian categories are, roughly speaking, categories where the notions of exact sequences make sense and such that for any pair of objects A,B in the category in question, we have # Hom(A,B) <∞ and # Ext1(A,B) <∞. The Hall ...
متن کامل